- categorical theory
- мат.категоричная теория
English-Russian scientific dictionary. 2008.
categorical theory
Смотреть что такое "categorical theory" в других словарях:
Omega-categorical theory — In mathematical logic, an omega categorical theory is a theory that has only one countable model up to isomorphism. Omega categoricity is the special case κ = = ω of κ categoricity, and omega categorical theories are also… … Wikipedia
Categorical perception — is the perception of different sensory phenomena as being qualitatively,or categorically, different. It is opposed to continuous perception , the perception of different sensory phenomena as being located on a smooth continuum.Categorical… … Wikipedia
Categorical logic — is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category,… … Wikipedia
Categorical abstract machine — (CAM) is the model of computation of a program [ Cousineau G., Curien P. L., Mauny M. The categorical abstract machine. LNCS, 201, Functional programming languages computer architecture. 1985, pp. 50 64.] , which preserves the abilities of… … Wikipedia
Categorical set theory — is any one of several versions of set theory developed from or treated in the context of mathematical category theory.ReferencesLiterature* Barr, M. and Wells, C., Category Theory for Computing Science , Hemel Hempstead, UK, 1990.* Bourbaki, N.,… … Wikipedia
Categorical Imperative — • A term which originated in Immanuel Kant s ethics Catholic Encyclopedia. Kevin Knight. 2006. Categorical Imperative Categorical Imperative … Catholic encyclopedia
categorical — [kat΄ə gôr′i kəl, kat΄əgär′i kəl] adj. [LL categoricus: see CATEGORY & ICAL] 1. without qualifications or conditions; absolute; positive; direct; explicit: said of a statement, theory, etc. 2. of, as, or in a category: Also categoric… … English World dictionary
Categorical — See:* Categorical imperative * Morley s categoricity theorem * Categorical data analysis * Categorical distribution * Categorical logic * Categorical syllogism * Categorical proposition * Categorization * Categorical perception * Category theory… … Wikipedia
Categorical data — In statistics, categorical data is that part of an observed dataset that consists of categorical variables, or for data that has been converted into that form, for example as grouped data. More specifically, categorical data may derive from… … Wikipedia
Categorical algebra — In category theory, a field of mathematics, a categorical algebra is an associative algebra, defined for any locally finite category and commutative ring with unity.It generalizes the notions of group algebra and incidence algebra,just as… … Wikipedia
Categorical bridge — In category theory, a discipline in mathematics, a bridge between categories mathbb A and mathbb B is a category mathbb Hsuch that mathbb A and mathbb B are disjoint full subcategories of mathbb H and mathrm{Ob}mathbb H=mathrm{Ob}mathbb Acup… … Wikipedia
